#!/usr/bin/env bash

# $1：起始数字，无需补零
# $2：结束数字，无需补零
# $3：若为零则表示服务器端的数字已补零，否则表示服务器端的数字未补零
# $4：本地文件命名
# $5：服务器端文件名数字前的部分
# $6：服务器端文件名数字后的部分
# 例：wget-batch.sh 5 20 0 '-hw1.pdf' 'https://cs.nyu.edu/~mohri/ml' '/hw1.pdf'

num="$1"
while [ $num -le "$2" ]; do
    if [ $3 -eq 0 ]; then # 服务器端的数字已补零
        if [ $num -lt 10 ]; then
            wget -t 0 -q --show-progress -O "0$num$4" "$50$num$6"
        else
            wget -t 0 -q --show-progress -O "$num$4" "$5$num$6"
        fi
    else # 服务器端的数字已补零
        if [ $num -lt 10 ]; then
            wget -t 0 -q --show-progress -O "0$num$4" "$5$num$6"
        else
            wget -t 0 -q --show-progress -O "$num$4" "$5$num$6"
        fi
    fi
    ((num++))
done
